How to install arduino-mighty-1284p on Debian 9 (Stretch)