Workaround for an issue with "git diff --quiet"