fix compilation error with gcc