Bugfix docker format; add x86_64 binary