diff --git a/bin/rebuild.sh b/bin/rebuild.sh
index f50cecdb02c21de5dcabda7ec3df1ad1655cabe2..433fd449093d54c9db040678e4622f5414aa2d96 100755
--- a/bin/rebuild.sh
+++ b/bin/rebuild.sh
@@ -1,3 +1,4 @@
+#!/bin/sh
 ##########################################################################
 #                                                                        #
 #  This file is part of Frama-C.                                         #
@@ -21,10 +22,9 @@
 ##########################################################################
 
 make -k clean
-find src \( -name "*.cm*" -or -name "*.o" \) -delete -print
+rm -fr _build
 rm -fr config.status autom4te.cache/
 autoconf -f
 ./configure
 make clean
-make depend
 make -kj