Como desinstalar php-horde-controller do Debian 9 (Stretch)