Updated bashrc to match the one supplied with Ubuntu 12.10