Fix for case insensitive File-System

This is a followup for 5bdbfd45addd832aa46a01427b04467d10b6e114