Minor fix in Premake script