Not used anymore.
See http://forge.ocamlcore.org/pm/?group_id=83