Bug fix: nasm output.