Update .bash_profile

Use full version for shell.