Changes to make readthedocs.org work with this project