How to remove coinor-libsymphony-dev from Debian 9 (Stretch)