linux/unix: diff a.txt b.txt