How to remove arduino-mk from Debian 9 (Stretch)