fix encoding problems on Linux