avoid the need for replacing backslashes with slashes on windows for some settings