add Ubuntu's .bash_logout