docker fix

docker/Dockerfile

@@ -60,7 +60,7 @@ RUN apt-get update \
     g++ graphviz doxygen libtinfo-dev zlib1g-dev \
     autoconf automake autotools-dev curl python3 libmpc-dev libmpfr-dev libgmp-dev gawk build-essential \
     bison flex texinfo gperf libtool patchutils bc zlib1g-dev libexpat-dev ca-certificates \
-    virtualenv git python3-dev python3-pip python3-setuptools libtinfo5 libzstd-dev \
+    virtualenv git python3-dev python3-pip python3-setuptools python3-venv libtinfo5 libzstd-dev \
     gcc libedit-dev libxml2-dev libopenblas-dev liblapack-dev gfortran cmake unzip ninja-build python-is-python3 device-tree-compiler libboost-all-dev \
     libfl-dev lsb-release libelf-dev \
     && apt-get clean \