Fix default encoding in Linux