diff --git a/src/Makefile.in b/src/Makefile.in
index ec8278d3..1cd005c1 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -71,6 +71,6 @@ maintainer-clean: distclean
 install: all
 	DESTDIR=${DESTDIR} bindir=${bindir} datadir=${datadir} \
 	mandir=${mandir} \
-	./recollinstall ${prefix}
+	/bin/sh ./recollinstall ${prefix}
 
 .PHONY: all static clean distclean install
diff --git a/src/configure b/src/configure
index 62005ab4..03bec57c 100755
--- a/src/configure
+++ b/src/configure
@@ -7827,5 +7827,3 @@ if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
   { $as_echo "$as_me:$LINENO: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
 $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
 fi
-
-chmod a+x recollinstall