Add some lines to .bash_profile