fix compilation with gcc-4.9.1