(but honestly this does not have anything to do with the original bug where qemu_bin was properly defined but unable to start the selected kernel)