Determine virtualbox disk filename from ovf, resolves #30