Hi, I think I know now what's wrong with ocamlcreal, I've also rebuilt mlgmp at the same time and it seems the time stamps are a little messed up. If you look in the build log of mlgmp, gmp.mli should be older or as old as gmp.cmi and due to this ocamlreal tries to rebuild it. A rebuild of mlgmp might fix this... bye, Roman