let concat_paths p1 p2 =
  let p1 = if p1 = "/" then "" else p1 in
  p1^"/"^p2