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