Less awful Bash profile