Make a few more asm modules conform: last argument is output file