Downloaded and installed on Raspbian Stretch with Arduino 1.8.12. No problems so far. Thanks.