bash: add path to $PATH