tweaking premake files