--- config/user-settings	Fri Jul 11 08:14:55 2003
+++ config/user-settings.new	Sun Mar 21 13:43:46 2004
@@ -11,7 +11,7 @@
 #			variable in makefile.unix-generic
 #	osx		Mac OS-X, with the gnu compiler.
 
-PLATFORM=unix-gcc
+PLATFORM=osx
 
 # (2) the floating point precision to use (either "SINGLE" or "DOUBLE")
 
