update opam accessory files