Arduino como ISP para ATtiny

Estoy intentando usar un Arduino Duemilanove como herramienta para programar un ATtiny85 desde el IDE de Arduino.

Estaba usando las instrucciones en ForkRobotics que son...

• Subir croquis de ArduinoISP a Arduino
• Conecte los pines Arduino 7, 8 y 9 a LEDS (latido, error, programación)
• Conecte los pines 10,11,12,13 de Arduino a los pines 1,5,6,7 de ATtiny85 (más 5V y GND)
• Descargue el código Arduino Tiny desde http://code.google.com/p/arduino-tiny/downloads/list
• Seleccione Herramientas -> Tablero -> ATtiny85 (con Arduino como ISP)
• Seleccione Herramientas -> Programador -> Arduino como ISP
• Cargue el boceto de parpadeo básico de ejemplo (s/pin 13/pin 4/) en el ATtiny85

Puedo ver el LED del latido del corazón de ArduinoISP parpadeando, pero en el último paso obtengo los siguientes errores

Blink.ino:10:21: error: Arduino.h: No such file or directory
Blink.ino: In function 'void setup()':
Blink:15: error: 'OUTPUT' was not declared in this scope
Blink:15: error: 'pinMode' was not declared in this scope

Arduino.h existe...\Arduino\hardware\arduino\cores\arduino
pero no en   (por ejemplo)...\Arduino\hardware\attiny45_85\cores\attiny45_85

Hice las siguientes excepciones al proceso descrito anteriormente...

• Ya tenía instalado un viejo IDE de Arduino 2009, así que comencé descargando el último IDE estable de Arduino y lo instalé en un nuevo directorio. Opté por no instalar controladores USB.
• No estaba seguro de qué descarga elegir de la URL de code.google, así que usé attiny45_85.zip de hlt.media.mit.edu en su lugar.

¿Debería haber un Arduino.h específico de ATtiny85 ...\Arduino\hardware\attiny45_85\cores\attiny45_85?
¿Qué he hecho mal?