EclipseCLP for arm64