fix-ftbfs-with-gcc-4.7
