4.01.0beta1+mirage-kfreebsd: Fix compatibility with OPAM 1.0.0.