Fix a crash in Linux