How to remove php-readline from Debian 9 (Stretch)