Revert "slimmed down repository"

This reverts commit 378acfd8c1f57dacd99a08cd5de25f79f57e6676.