fix compilation with gcc46