Remove traces of gcc40