Bash: empty bash_logout.