remove deprecated sphinx options