Source VM is at:
https://people.cs.uchicago.edu/~wangm12/cs230/cmsc230-vm.ova

To convert:
wget https://people.cs.uchicago.edu/~wangm12/cs230/cmsc230-vm.ova
tar -xf cmsc230-vm.ova
qemu-img convert -f vmdk -O qcow2 CMSC230-pintos-disk001.vmdk cs230-pintos.qcow2
bzip2 cs230-pintos.qcow2