missing file in config.w32