fix abc-verifier build on darwin

TODO linux-rebuild