some fixes to windows case insensitivity problem