Specify g++ 4.8 some more