fix compilation with gcc4.7