Fixes a strange problem regarding casing of directory names