config.w32 and some windows related stuff