Our own versions of some of the Arduino libs we are using