Changes for READTHEDOCS.org server builds