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