Perform rescan for github.com/google/jsonnet/pull/1204?