Libreria IR-Remote con arduino Pro Micro

#1
Estimados: alguien ha utilizado la libreria Arduino IR-Remote con el arduino Pro Micro 5v? Estoy tratando de instalarla (IDE 1.5.4) pero me da error de que el nombre de la libreria no puede empezar con numeros (y de hecho no los tiene). Saben si con otra version de IDE se puede utilizar?
Escogi la 1.5.4 porque fue con la única que logre utilizar el arduino como teclado, después de probar varias...... el asunto es que ahora también quiero utilizar esa librería y no me ha dejado instalarla.
 
#2
Ya lo resolví. estoy utilizando la 1.0.6 y baje la librería IRremote y los drivers para pro micro. Funciona muy bien. Pense que por ser un dispositivo mas nuevo seria mas fácil con las versiones mas recientes de IDE pero no......