g++ 4.7