update distribution to replace histman with propertyhistory manager