Work-around python 3 encoding.