Report destination file for repository, and fix bug with the naming of the destination triggered when importing a repository in toto.