BASH: add prepend_path function