Because my default ubuntu .bashrc is not good enough, add these to make it better.