fix some sphinx deployment stuff?