a bugfix for case sensitive file systems