Arduino 0017 now available.

Thanks, it works like a charm on my Dell Mini 10v Hackintosh!!!!