builtin_diff(): read $GIT_DIFF_OPTS closer to use