fixing file name case sensitivity"
and add the offending file back