make mensakoblenz work in py3.2