non è così semplice, intanto il LED IR è a 38KHz mentre la lib sembra generare 32kHz, quindi bisognerebbe modificare la lib per ottenere 38khz, non puoi certo farlo aggiungendo dei delay; a questo punto, senza l'aiuto di uno che la conosce diventa poco possibile risolvere il problema.