> Maybe the correct solution is to remove the > dependency of mlton on mlton.cm (just use the set of files derived from > mlton -stop f mlton.cm). That sounds right to me.