avoid build breaks with --system-site-packages and older setuptools on system
@@ -59,7 +59,7 @@ export SOURCE_DATE_EPOCH="$(dpkg-parsechangelog -STimestamp)"
# Test and build under Python 3
TEMP3="$(mktemp -d)"
-virtualenv -p /usr/bin/python3 --system-site-packages "$TEMP3"
+virtualenv -p /usr/bin/python3 "$TEMP3"
. "$TEMP3/bin/activate"
git clone "file://$DIR" "$TEMP3/benchexec"
pushd "$TEMP3/benchexec"
