Try to fix windows build failure (#1071).