Thanks, that should fix the buildbot with python 3