--- rpl/rplcas/Makefile.in	2018/06/14 20:59:29	1.49
+++ rpl/rplcas/Makefile.in	2019/01/04 14:37:49	1.50
@@ -100,9 +100,19 @@ lib/ntl.a:
 	cp -R @NTL@/include/NTL include
 
 lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
+#	MakeUnifiedHeader.sh (interpreter)
+	sed '1,1s/^#!\/bin\/bash/#!@BASH@/g' @COCOA@/include/CoCoA/MakeUnifiedHeader.sh > @COCOA@/include/CoCoA/MakeUnifiedHeader.sh2
+	mv -f @COCOA@/include/CoCoA/MakeUnifiedHeader.sh2 @COCOA@/include/CoCoA/MakeUnifiedHeader.sh
+	chmod 755 @COCOA@/include/CoCoA/MakeUnifiedHeader.sh
 	sed '1,1s/^#!\/bin\/bash/#!@BASH@/g' @COCOA@/configure > @COCOA@/configure2
 	mv -f @COCOA@/configure2 @COCOA@/configure
 	chmod 755 @COCOA@/configure
+	for i in @COCOA@/configuration/* @COCOA@/src/AlgebraicCore/CheckSourceFiles.sh; \
+	do \
+		sed '1,1s/^#! *\/bin\/bash/#!@BASH@/g' $$i > $$i.2; \
+		mv -f $$i.2 $$i; \
+		chmod 755 $$i; \
+	done;
 	if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \
 		if [ @BUILD@ = @HOST@ ]; then \
 			(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \