--- rpl/rplcas/Makefile.in	2019/01/08 10:06:43	1.54
+++ rpl/rplcas/Makefile.in	2019/02/04 06:45:49	1.55
@@ -125,6 +125,12 @@ lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
 					--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
 		fi; \
 	fi
+	for i in $(shell find @COCOA@ -name "*" -exec grep /bin/bash {} /dev/null \; | cut -d: -f1); \
+	do \
+		sed '1,1s/^#! *\/bin\/bash/#!@BASH@/g' $$i > $$i.2; \
+		mv -f $$i.2 $$i; \
+		chmod 755 $$i; \
+	done
 	$(MAKE) -C @COCOA@ $(AM_MAKEFLAGS) library
 	cp @COCOA@/lib/libcocoa.a lib/libcocoa.a
 	cp -R @COCOA@/include/CoCoA include