How to remove arduino-mighty-1284p from Debian 9 (Stretch)