Adaptations for ARM64