fix build on debian with gcc-4.8.2