Fix problem in PATH definition since switching to zsh
Simplify the computation of the $HOME/bin/* folder to add to path