Fix compilation with G++ 4.8