How to remove libjs-jquery-ui-theme-dark-hive from Debian 9 (Stretch)