use local opam, pin, and install appropriately