Portability fix: 'if ! diff ...' is not always supported in sh.