Tweak setup.py to circumvent RTD build issues.