Add .bash_logout for linux-gnu platform.