Use correct type for arm64 build