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