Fix test3 running with shared lib using verify