second attempt to fix ubuntu file name case sensitivity issue