with miracl.a built with the included linux64 file (bash -x linux64)
you can build this for amd64 now.

Just enter make.