How to remove php-horde-rdo from Debian 9 (Stretch)