Bug in Ethernet Library in new Arduino 0013