[PATCH] Fix the name of the qemu-system-* executable