Fixed bash_profile script as reported in ticket #10