Avoid duplicate crypto_verify.h