tweak output to validate as asm.js again (not quite ready yet, mostly there)