add workaround for apt-key behind a firewall, as described in #28