updates to fix a case-sensitive file name