improvement to config.w32