Fix for gcc<4.7