Use basename for executable in docopt.