--- config/install.sh.orig	Wed Aug  5 13:43:43 1998
+++ config/install.sh	Sat Jan 29 20:46:09 2000
@@ -181,6 +181,18 @@
 if [ "$?" != "0" ]; then
   exit $?
 fi
+# we need to patch just before build
+echo "applying source patches"
+patch_file="${FILESDIR}/extra-patch-global-names"
+if [ -f $patch_file ]; then
+	$PATCH $PATCH_ARGS < $patch_file
+fi
+if grep -w FPE_INTDIV /usr/include/machine/trap.h > /dev/null 2>&1; then
+	patch_file="${FILESDIR}/extra-patch-signals"
+	if [ -f $patch_file ]; then
+		$PATCH $PATCH_ARGS < $patch_file
+	fi
+fi
 if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then
   cd $SRCDIR/runtime/objs
   echo "compiling the run-time system"
