diff --git a/framaCIRGen_src/build.sh b/framaCIRGen_src/build.sh
index cdd9fcd01779d754f6c23613385ca07f2bc94dac..103d6f9cf50e3ae67870b562e065ec148a05bbcb 100755
--- a/framaCIRGen_src/build.sh
+++ b/framaCIRGen_src/build.sh
@@ -1,4 +1,4 @@
-#! /usr/bin/bash
+#! /bin/sh
 ##########################################################################
 #                                                                        #
 #  This file is part of Frama-Clang                                      #