let is_prefix x y = let lx = String.length x and ly = String.length y in if lx = ly then x = (String.before y lx) else if lx < ly then x = (String.before y lx) && List.mem y.[lx] dir_seps else false