verif: add missing cmake dependencies.