How to remove libghc-js-jquery-dev from Debian 9 (Stretch)