keep version number in Doxyfile consistent with that in base.py