fix compilation with gcc