ERROR: z3/4.8.8: Error in package_info() method, line 89
	self.cpp_info.components.system_libs.append("pthread")
	AttributeError: 'DefaultOrderedDict' object has no attribute 'system_libs'