Allow semigroups-0.16
CHANGES for 1.1.2.4