Bash profile (based on Ubuntu's one)