Uhu. I'll make an update to camltc soon.