bash/paths: $HOME/bin above all!