Minor updates to bash profile