Always do dos2unix; fix bug with filecmp result; double-check diff if paranoid.