use old syntax for codecs to gain compatibility with Python 3.3