Moved some Ubuntu-specific setup into the common .bashrc file.