Fix building with GCC>4.7