Spike64 : Removal of ocaml-re library