updated to polyml-5.9-cc80e2b43c38, which also contains ARM64 on darwin (unused by default);