drop unused library chosen

commit that introduced this: daee88fd26b69d997b5a203c42d6a3cb1dbe46dc

I ack-greped but couldn't find any trace. Therefore I vote for the drop.

cc @Deepdiver1975 @lukasreschke @pvince81 @blizzz