[all] collected files with `.`

When using why3find prove|doc ., files and modules are printed using ..xxx or ./ : this is ugly.