diff --check: do not unconditionally complain about trailing empty lines