State files used for VirtualBox VMs as part of Trip's assembly class