Another minor fix: with the native mode version of MLton, `-keep a' doesn't leave any .s or .S files around, and it clearly should do that for the natively generated assembler code. I would argue that it should not leave around the .s version of the small C code it makes, but it should leave the .c file around, which it doesn't.