fix generation of settings on windows