A converter for Open Virtualization Format (OVF) files