Whoops, those should be included in the Arduino software download. I'll add them for the next release. Sorry about that!