let join root paths = let root = if root = current_dir_name then "" else root in List.fold_left (/) root paths