.bash_logout, from darwin11