Fix build for ARM