Fix the compilation under Linux x86_64.