Can I use this digital IR transmitter to control the robot?

[system]

PaulS:
My first question is why you put a user-downloaded library in the Arduino library directory. That is NOT where it goes.

so where I should put this?
But it works in Arduino 0023.