Fix compilation issues with gcc 4.8