Convert nasm source files to gas source files
