Turns out I was wrong, the later versions of gcc still support the older c++0x which we should keep on using until we fully migrate to gcc4.8