fix build with gcc 4.7.3 (on x86_64)