How to remove libflint-2.5.2 from Debian 9 (Stretch)