Goodbye -fheinous-gnu-extensions!