removing a deleted file that made it into the repo anyway