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