Fix building for GCC >= 4.8