Fix compatiblity with G++ 4.7