Hi Patrick, I just found a bug in the quoting in an assignment in dunecontrol. I think this should fi your problems. Could please update your dune-common and give it try? Cheers Christian