Add missing libfile from Arduino