How to remove sagemath-database-elliptic-curves from Debian 9 (Stretch)