buildx failed with: ERROR: failed to solve: process "/dev/.buildkit_qemu_emulator /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 ; git clone https://github.com/vprover/vampire ; cd vampire ; git submodule update --init ; 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: 1