Do a totally hacky workaround for readthedocs.