diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 648941553062ed690af4cc19dde135f64d9f3297..31dc22c1fc6032b4a17b80af9d5673060696c105 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -1,3 +1,4 @@
+#!/bin/sh -e
 ##########################################################################
 #                                                                        #
 #  This file is part of Frama-C.                                         #
@@ -20,8 +21,6 @@
 #                                                                        #
 ##########################################################################
 
-#!/bin/sh -e
-
 # Convenience wrapper for small runs of E-ACSL Frama-C plugin
 
 # Print a message to STDERR and exit. If the second argument (exit code)
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index 453552c1cfd9182e2ccee4feef5ff8e89f49f603..be44c99c789bb51735c4740c3e23512ec3dd23c8 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -1,3 +1,4 @@
+#!/bin/sh -e
 ##########################################################################
 #                                                                        #
 #  This file is part of Frama-C.                                         #
@@ -20,8 +21,6 @@
 #                                                                        #
 ##########################################################################
 
-#!/bin/sh -e
-
 # Convenience script for running tests with E-ACSL. Given a source file the
 # sequence is as follows:
 #   1. Instrument and compile a given source file with `e-acsl-gcc.sh`