Improve the workaround for what is now wabt issue #59.#406

sunfishcode merged 1 commit intobytecodealliance:masterbytecodealliance/wasmtime:masterfrom

sunfishcode:wabt-workaroundsunfishcode/wasmtime:wabt-workaroundCopy head branch name to clipboard