iocaml-kernel: fix ctypes rev; via @samoht