fix generation of settings on windows - closes #2273