make doc autobuild.py work under python 3