Update premake4.lua.