Fix compilation with gcc 4.6.x