Fix compilation with gcc 4.8.2