Minor fixes on premake files