fix build with gcc-4.7.2 and boots-1.53