Switch the location of the docopt repo