Fix compilation with GCC 4.7