Da qui preleva il core Tiny 0022-0009, poi ti scarichi il core Arduino 0022, così hai le versioni corrispondenti, e dovresti risolvere senza problemi.