Во-первых, мы не рассматриваем библиотеку как часть нашего ПО и относим ее использование к понятию "аггрегация", описанному в последнем абзаце пункта 5 текста лицензии. Таким образом, мы пользуемся законным правом, описанным в этом пункте, которое говорит, что при включении GPL кода в аггрегацию, GPL не распространяется на остальные части аггрегации, которыми и является наше ПО.
Во-вторых, как Вы наверняка знаете из многочисленных комментариев к вопросу, GPL сама по себе является лицензией, но при этом не является контрактом. Вкратце, это означает, что GPL сама по себе не может обязать разработчика ПО, который воспользовался GPL кодом, распространять свой собственный код по этой же лицензии.
Условия лицензии в силах лишь остановить распространение проприетарного кода не под лицензией GPL, в случае, если доказана неправомочность такого распространения, на основании использования GPL кода.
В-третьих, вероятнее всего, во избежание будущих обращений в наш адрес, подобных вашему, и возможных непродуктивных разбирательств по данному вопросу, в ближайшей версии ПО данная библиотека будет исключена.