Config: default for "dm4.filerepo.path" (#734).

See #734.