Fix g++ 4.7