Destdir was not used in mls-repos.json and mls-lists.json