make sure -short-paths is the default with ocaml >= 4.01.0