Como instalar pike7.8-dev no Debian 9 (Stretch)