Fix diff-single in linux bashrc.