Updating bashrc base with the one from Ubuntu 13.04