I would think that at the very least the extensions to SML should only be there if a command line flag is used. I.e., the default really has to be to compile STANDARD ML.