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