deleting tmp files that should not be in git