delete old file which should have been deleted if git was working as expected (for once)