--- Makefile.inc.orig	Tue Jul 28 21:49:22 1998
+++ Makefile.inc	Tue Jul 28 21:51:36 1998
@@ -2,7 +2,7 @@
 
 # Where to install stuff
 
-MOSMLHOME=${HOME}/mosml
+#MOSMLHOME=${HOME}/mosml
 
 # To compile the runtime system camlrunm with support for
 # dynamically loadable libraries (DDLs), uncomment these:
@@ -13,7 +13,7 @@
 # ADDCFLAGS=-rdynamic
 
 # For Linux, use:
-CPP=/lib/cpp -P -traditional -Dunix -Umsdos
+CPP=/usr/bin/cpp -P -traditional
 STRIP=strip
 DYNLD=ld -shared 
 
