fixup // in vcpuins