>> BTW, it is also a bug in HEAD, so I'm surprised that mlton-20051109 >> and mlton-20051202 work without problems on platforms with HAS_REMAP >> false. > > If I've understood the commit logs correctly, this wasn't a bug in > HEAD. Just thought I'd clarify. Correct.