Fix for latest opam
MCL update