2021/10/13: risolto piccolo leak in libhist, new 0.1.2