Switch from GAS to NASM in x86