PKGBUILDs for Arduino and Energia