Fix a compilation error in the Linux build.