ivory: fix cbmc build