Remove a file that should have been ignored