configure-sphinx fixes