vmpk 0.7.2 -> 0.9.2