Fix to compile successfully on Linux 64-bit with arduino 1.05 and latest teensyduino