Proper passing of assembler options from GCC driver