I just deleted the file (it was still there and did not look corrupted though). Any command to run now?