deleted file that should have been ignored