Fix a compiler error on Linux.