Como desinstalar php5-librdf do Debian 9 (Stretch)