upload 0.4.0159: update vcpuins