--- ./config/targets.00	2006-11-03 18:19:57.000000000 +0100
+++ ./config/targets	2007-02-26 19:39:18.000000000 +0100
@@ -84,7 +84,7 @@
 # pre-compile (certain) parts of MLRISC that are not already part of the SML/NJ
 # compiler itself
 #
-request mlrisc
+#request mlrisc
 
 # pre-compile and install the C-Kit, which is a library for parsing and
 # type-checking C programs