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