- prerr_endline ("Too many roots: " ^ String.concat ", " roots);
- prerr_endline ("Enter one of these directories and retry");
+ let roots = List.map (HExtlib.chop_prefix (Sys.getcwd()^"/")) roots in
+ prerr_endline ("Too many roots found:\n\t" ^ String.concat "\n\t" roots);
+ prerr_endline ("\nEnter one of these directories and retry");