deb packaging: avoid problems/workaround with https and SSL