bash: set python io encoding