be more careful with g++-4.8 to g++