Modify bashrc for Fedora 18.