MinGW: fix diff --no-index /dev/null ...