Sylvain Le Gall - 2012-06-25

BTW, it would be great that the error reported be a failwith (Printf.sprintf "unable to load file %s") rather than a cryptic Not_found.