diff --git a/tools/docker/agate.x86_64-unknown-linux-gnu b/tools/docker/agate.x86_64-unknown-linux-gnu deleted file mode 100755 index a2678b8..0000000 Binary files a/tools/docker/agate.x86_64-unknown-linux-gnu and /dev/null differ