Actually react to -DPREFIX in binary1.asm