Bash profile for Debian/Linux