Do not redirect diff output to /dev/null to aid in debugging strange failures (in autoupdate travis yml script).