issue #20044: Do not need the whole library after all.