Make the SDL port compatible with Linux