Fix compilation with 4.7 GGC