Fix building with GCC-4.7.2