It sounds like you're set with your Arduino IDE 1.0.5 but just because the topic came up you should know there is a more actively maintained and more commonly used Arduino hardware package than TinyCore (hint it's a bad sign when you find something on Google Code since it's been shut down for years) for ATtiny now. It's called ATTinyCore:
You might keep it in mind just in case you ever decide to see what the Arduino IDE developers have been doing over the 4 years since the 1.0.5 release.