Proof mode of beansandeggs:2016 fails with 'Unknown flag "vbyte"'

[pauleve]

+ docker run --name satex18042 --rm -e TIMEOUT=10 -v /home/runner/work/docker-images/docker-images/tests:/data satex/beansandeggs:2016 aim-200-1_6-yes1-1.cnf proof.tmp
proof...#### beansandeggs:2016 ####
+ cd /solvers/BeansAndEggs
+ set +x
+ timeout 10 ./glucose /data/aim-200-1_6-yes1-1.cnf -vbyte -certified -certified-output=/data/proof.tmp
ERROR! Unknown flag "vbyte". Use '--help' for help.
c
c This is glucose 3.0 --  based on MiniSAT (Many thanks to MiniSAT team)
c
c WARNING: for repeatability, setting FPU to use double precision
ERROR Solver failed with return code 1
Error: Process completed with exit code 1.