modify bashrc for ubuntu 12.04.4