buildx failed with: ERROR: failed to solve: process "/bin/sh -c apt-get install -y git cmake bison flex libboost-all-dev python2 perl && wget ${STP_URL} -nv -O stp.tar.gz && mkdir stp && tar xzf stp.tar.gz -C stp --strip-components=1 && pushd stp && ./scripts/deps/setup-gtest.sh && ./scripts/deps/setup-outputcheck.sh && ./scripts/deps/setup-cms.sh && ./scripts/deps/setup-minisat.sh && mkdir build && pushd build && cmake .. && cmake --build ." did not complete successfully: exit code: 127