bash_profile: prefer /home/nielsm/bin over other things on PATH.