hal3002/qemu-system-setup not found