fix build errors using gcc-4.7