Fix a warning on linux