diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 30126812b1e1fa3f0b9096ed926a283fd7417079..7fa128413e32b6be40b075aa1d025384809bc369 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -136,7 +136,7 @@ install::
 	      $(E_ACSL_DIR)/doc/manuals/e-acsl-manual.pdf \
 		$(FRAMAC_SHARE)/manuals
 	$(PRINT_INSTALL) E-ACSL scripts
-	find scripts -maxdepth 1 -type f -executable -exec $(CP) {} $(BINDIR) \;
+	$(CP) $(E_ACSL_DIR)/scripts/e-acsl-gcc.sh $(BINDIR)
 
 uninstall::
 	$(PRINT_RM) E-ACSL share files
@@ -146,7 +146,7 @@ uninstall::
 	      $(FRAMAC_SHARE)/manuals/e-acsl-implementation.pdf \
 	      $(FRAMAC_SHARE)/manuals/e-acsl-manual.pdf
 	$(PRINT_RM) E-ACSL scripts
-	find scripts -maxdepth 1 -type f -executable -execdir $(RM) $(BINDIR)/{} \;
+	$(RM) $(BINDIR)/e-acsl-gcc.sh
 
 ################################
 # Building source distribution #