buildx failed with: ERROR: failed to solve: process "/bin/sh -c apt-get update && apt-get install -y --no-install-recommends build-essential cmake git python3 ; wget 'http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.6/E.tgz' && tar xf E.tgz ; cd E ; ./configure && make ; cd .. ; wget 'https://wordnetcode.princeton.edu/3.0/WordNet-3.0.tar.gz' && tar xf WordNet-3.0.tar.gz ; wget $VAMPIRE_GIT && mkdir -p vampire && tar -xzf 4.9casc2024.tar.gz -C vampire --strip-components=1 ; wget $Z3_GIT && mkdir -p z3 && tar -xzf z3-4.12.3.tar.gz -C z3 --strip-components=1 ; rm -rf vampire/z3 ; mv z3/* vampire/z3 ; cd vampire ; mkdir build ; mkdir z3/build && cd z3/build ; cmake .. -DZ3_SINGLE_THREADED=1 -DCMAKE_BUILD_TYPE=Release ; make -j`nproc` ; cd ../../build ; cmake .. ; make -j`nproc` ; cd .. ; cp build/vampire vampire ; ./checks/sanity vampire" did not complete successfully: exit code: 127