Fix pin tracer segfault when using -w#27

fredfrance-oss wants to merge 1 commit into

gaasedelen:mastergaasedelen/tenet:masterfrom

fredfrance-oss:patch-1fredfrance-oss/tenet:patch-1Copy head branch name to clipboard