jjames pushed to gap-pkg-semigroups (master). "Add -libsemigroups patch."