diff --no-index: fix -R with stdin