Fix for ARM64