vmpk 0.7.2 -> 0.9.2
vmpk 0.7.2 -> 0.9.2