-Wdollar-in-identifier-extension is not the same as -Wno-dollar-in-identifier-extension