Update dependencies in premake4.lua, add release-symbols option