Perform rescan for github.com/google/xls/pull/4363?