diff: correctly disable external_diff with --no-ext-diff