Fix QEMU-ARM build