improvements to config.w32