Perform rescan for github.com/google/packetdrill/pull/94?