fix build errors using gcc-4.7 (codeworkx)