irc-related .bash_profile junk