Use the proper way to refer to gcc's asm extension so we can compile this in C standard mode.