pert:
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:
GitHub - SpenceKonde/ATTinyCore: Arduino core for ATtiny 1634, 828, x313, x4, x41, x5, x61, x7 and x8
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.
had a quick browse of that page, it looks like it's based on the code from "arduino-tiny" (on GoogleCode) which was developed by CodingBadly who was very active on those threads i referenced earlier, that's why i latched on to that and was confident with sticking with it.
anyway, thanks for that newer link - it's certainly good to know and that page is also a lot more comprehensive as an ATtiny starting point for easy reference.