Add encodings (so that python2 will work too)