+(* normalize qualified file name *)
+let normalize_qfn p =
+ (* trim leading "./" *)
+ let p =
+ try
+ if String.sub p 0 2 <> "./" then p
+ else String.sub p 2 (String.length p - 2)
+ with
+ | Invalid_argument _ -> p
+ in
+ (* trim trailing "/" *)
+ try
+ if String.sub p (String.length p - 1) 1 <> "/" then p
+ else String.sub p 0 (String.length p - 1)
+ with
+ | Invalid_argument _ -> p
+