.bash_logout, from linux-gnu