nuke old gcc 4.2 versions