premake4 4.4beta5 -> 4.4-beta5
verifast 17.06 -> 18.02