Fix compilation with gcc on linux