fix config.w32, probably