add g++ 4.8 back in