ck 0.6.0 -> 0.7.0
premake4 4.4beta5 -> 4.4-beta5
verifast 17.06 -> 18.02