Append : to $PATH in remove_dir_from_path

: at the end is necessary in case the last PATH element has
trailing slashes