Perform rescan for github.com/google/or-tools/pull/4596?