The problem of case sensitivity in file names is such an old acquaintance you can't show it the door anymore ;-). It started to hang around in the early nineties and has been drinking our beer since then...