File remaining after a rename (should have been already deleted after last commit???)