deleted file that should not be in git