fix compilation with OCaml 4.12.0#1

dio4ev wants to merge 3 commits intobytekid:masterbytekid/ctrl:masterfrom

dio4ev:masterdio4ev/ctrl:masterCopy head branch name to clipboard