Small changes in premake.lua