Ho detto e ridetto che il compilatore allegato alla 1.0, e anche alla 1.0.1 RC, e con questa vale pure per Linux, è la vecchia 4.3.2.
Per quanto riguarda la questione sketch isp quello allegato alla 1.0.1 è diverso dagli altri, e non solo nella velocità, quindi prova ad usare quello rinominandolo .pde, ho provato a compilarlo con la 0023 e non da errori, per non obbligarti a scaricare la 1.0.1 te lo allego pronto all'uso.
ArduinoISP_1.0.1.rar (3.82 KB)