fix config.w32