Fix the compilation on Linux