`--root` keeps recursing

$ mkdir -p a/a
$ why3find prove --root a
Entering directory '.../a'
Entering directory '.../a/a'
why3find: a: No such file or directory
Leaving directory '.../a/a'
Leaving directory '.../a'