--- config/install.sh.orig	Wed Aug  5 13:43:43 1998
+++ config/install.sh	Tue Feb  2 12:57:13 1999
@@ -181,6 +181,12 @@
 if [ "$?" != "0" ]; then
   exit $?
 fi
+# we need to patch just before build
+patch_file="${FILESDIR}/patch-global-names"
+if [ -f $patch_file ]; then
+	echo "applying source patches"
+	$PATCH $PATCH_ARGS < $patch_file
+fi
 if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then
   cd $SRCDIR/runtime/objs
   echo "compiling the run-time system"