--- OS/Makefile-Default.orig	Mon Nov 28 11:57:32 2005
+++ OS/Makefile-Default	Tue Nov 29 11:54:49 2005
@@ -71,7 +71,7 @@
 
 # CC contains the name of the C compiler to be used.
 
-CC=gcc
+#CC=gcc
 
 
 # CFLAGS contains flags to be passed to the compiler. Nothing is defaulted
