use gas for 64-bit assembler