Fix a compiler warning on Linux