more premake fixes (linux)