deleting obsolete libs from git-repo