Harcode version numbers in conf.py