Make odf2john work under Python 3.3 too