How to remove libjs-jquery-ui-theme-mint-choc from Debian 9 (Stretch)