How to remove python-gmpy from Debian 9 (Stretch)