modified opam packages for mirage-kfreebsd