fix gcc 4.8 name on buildbot