Не может добавить никакой ppa в Ubuntu 17.04 с gpg keyserver отказавший: конец файла

После Обновления Ubuntu от 16,04 до 17,04, я не могу добавить PPA. Для, например, добавляющий этот ppa я получаю следующую ошибку:

sudo add-apt-repository ppa:texlive-backports/ppa

Backports of the latest TeX Live from Ubuntu 12.10 to Ubuntu 12.04 LTS
More info: https://launchpad.net/~texlive-
backports/+archive/ubuntu/ppa
Press [ENTER] to continue or ctrl-c to cancel adding it

gpg: keybox '/tmp/tmp702ddoyv/pubring.gpg' created
gpg: keyserver receive failed: End of file
Failed to add key.

Я нахожусь позади прокси-сервера. Я пытался добавить прокси в dirmngr.conf под ~/.gnupg каталог следующим образом:

#honor-http-proxy
http-proxy <PROXY>

Кажется, что dirmngr.conf не получает прокси HTTP удостаивания.

Я могу вручную добавить ключ со способно-ключевой командой, когда я даю, предоставляют keyserver возможности с http-proxy=value.

Все раньше хорошо работало в 16,04. Кто-то может пролить некоторый свет на то, почему это могло происходить?