Dafny VS code Extension 3.2.1 dosen't work on M1 Mac

[FZhg]

Failed to load /Users/zhangfan/.vscode/extensions/dafny-lang.ide-vscode-3.2.1/out/resources/4.3.0/github/dafny/libhostpolicy.dylib, error: dlopen(/Users/zhangfan/.vscode/extensions/dafny-lang.ide-vscode-3.2.1/out/resources/4.3.0/github/dafny/libhostpolicy.dylib, 0x0001): tried: '/Users/zhangfan/.vscode/extensions/dafny-lang.ide-vscode-3.2.1/out/resources/4.3.0/github/dafny/libhostpolicy.dylib' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64')), '/System/Volumes/Preboot/Cryptexes/OS/Users/zhangfan/.vscode/extensions/dafny-lang.ide-vscode-3.2.1/out/resources/4.3.0/github/dafny/libhostpolicy.dylib' (no such file), '/Users/zhangfan/.vscode/extensions/dafny-lang.ide-vscode-3.2.1/out/resources/4.3.0/github/dafny/libhostpolicy.dylib' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64'))
An error occurred while loading required library libhostpolicy.dylib from [/Users/zhangfan/.vscode/extensions/dafny-lang.ide-vscode-3.2.1/out/resources/4.3.0/github/dafny/]
[Error - 8:54:45 PM] Server process exited with code 130.
[Error - 8:54:45 PM] Server initialization failed.
  Message: Pending response rejected since connection got disposed
  Code: -32097 
[Info  - 8:54:45 PM] Connection to server got closed. Server will restart.
true
[Error - 8:54:45 PM] Dafny Language Server client: couldn't create connection to server.
  Message: Pending response rejected since connection got disposed
  Code: -32097 

I switched back to 3.2.0. It works.

[markrtuttle]

This may have been fixed by dafny pull request dafny-lang/dafny#4846 fixing issue dafny-lang/dafny#4838

[sethahrenbach]

I'm also running into this issue on a Mac M1.
EDIT: I was able to resolve by turning off Rosetta 2 x86_64 simulation