Fix build on ARM64