Improve bashrc with default bashrc from debian 7