Not strictly true that this is provided, as GCC 4.8.x is different from 4.2.x (though files are the same).