qemu: version bumped to 1.3.1.