dumpy directory is now part of the repository