remove hack that hard codes deduping of sem library, which is in both built-in and library module--this code can probably be made more efficient, but it seems to work fine