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