added the command line option -short-paths for ocaml >= 4.01.0