readme says exec is "asm6" but actual exec name is "asm6f"