More premake4 fixes