#246 avoid duplicate lib, fixes "sem:"