attempt to repair case-sensitive filename error