--- Makefile.inc.orig	Wed Aug  4 11:40:24 1999
+++ Makefile.inc	Fri Jan 14 16:00:57 2000
@@ -2,7 +2,7 @@
 
 # Where to install stuff
 
-MOSMLHOME=${HOME}/mosml
+#MOSMLHOME=${HOME}/mosml
 
 # Various utility programs
 INSTALL_PROGRAM=cp
@@ -15,12 +15,12 @@
 
 ADDPRIMS=dynlib.c
 ADDOBJS=dynlib.o
-ADDRUNLIBS=-ldl
+ADDRUNLIBS=
 ADDRUNCFLAGS=
 ADDDYNLIBCFLAGS=
 
 # For Linux, use:
-CPP=/lib/cpp -P -traditional -Dunix -Umsdos
+CPP=/usr/bin/cpp -P -traditional
 STRIP=strip
 LD=gcc -rdynamic
 DYNLD=ld -shared