Remove duplicated Windows configure options.