fix build with older GCC