Perform rescan for github.com/google/bindiff/pull/85?