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