QEMU 1.0 formula for Lion