avoid repeting paths in $PATH when running env.sh multiple times

otherwise, new paths are concateted to the old ones