Fix build failure on ARM64

Thanks to Edmund Grimley Evans.