Bash profile tweaked