fixed the formatting of prefixes in prefix_to_path()