Change liboqs version to hqc-perf version 0.12.0

pq-tls-benchmark-framework/emulation-exp/code/install-prereqs-ubuntu.sh

@@ -37,11 +37,11 @@ git clone --no-checkout --single-branch --branch openssl-3.1.7+quic https://gith
 (cd quictls-openssl && git switch --detach openssl-3.1.7+quic)
 git clone --recursive https://github.com/cloudflare/quiche
 (cd quiche && git switch --detach tags/0.22.0)
-git clone --no-checkout --single-branch --branch 0.11.0-release https://github.com/open-quantum-safe/liboqs.git
-(cd liboqs && git switch --detach tags/0.11.0)
+git clone --no-checkout --single-branch --branch hqc-with-fixed-performance https://github.com/BartBBM/liboqs.git
+(cd liboqs && git switch --detach hqc-with-fixed-performance) # this is 0.12.0
 # git clone --no-checkout --single-branch --branch main https://github.com/open-quantum-safe/oqs-provider.git
 git clone https://github.com/open-quantum-safe/oqs-provider.git
-(cd oqs-provider && git switch --detach tags/0.7.0)
+(cd oqs-provider && git switch --detach tags/0.8.0)
 wget nginx.org/download/nginx-${NGINX_VERSION}.tar.gz && tar -zxvf nginx-${NGINX_VERSION}.tar.gz
 
 # Install the latest CMake
@@ -79,7 +79,7 @@ patch ${ROOT}/openssl/ssl/quic/quic_channel.c < ${ROOT}/../patches/openssl/quic_
     # It needs the libcrypto library, either in .a or .so format, in 'openssl' it is .so and in 'openssl-source' it is .a
     # -- Found OpenSSL: /absolute-path-to/tmp/openssl/lib64/libcrypto.so (found suitable version "3.0.2", minimum required is "1.1.1")
     # NOTE here the enabled algorithms could be specified
-    ${INSTALL_DIR}/cmake/bin/cmake -GNinja -DOPENSSL_ROOT_DIR=${OPENSSL_INSTALL} -DCMAKE_INSTALL_PREFIX=${INSTALL_DIR}/liboqs -S . -B build
+    ${INSTALL_DIR}/cmake/bin/cmake -GNinja -DOPENSSL_ROOT_DIR=${OPENSSL_INSTALL} -DCMAKE_INSTALL_PREFIX=${INSTALL_DIR}/liboqs -DOQS_DIST_BUILD=OFF -S . -B build
     cd build
     ninja && ninja install
 )