I don't have experience with bare binaries. Do I simply delete the other binary, copy this one into the directory in its place, Yes. and recompile asymptote? There's nothing to recompile.