RTD work-around in conf.py