Git-migration fixes

Deleting files that crept in during git-migration