Note that `make check' needs GNU diff (for now).