bash_profile: add the ~/bin to the PATH variable.