The problem is with you use of the definitive article - the IR Remote library - as if there was only one. There may be only one widely used one. There may only be one that actually works. But, I'm quite certain that there is not only one.
You said you downloaded the library, and I asked which one. The simplest thing for you to have done was posted a link, not argue about.
Ok.. why is using Arduino 1.0.1 too bad? What are you using and how is that better?
I have 0022, 1.0.0, 1.0.1, and 1.0.2 installed. I use 1.0.1 most of the time, because I haven't investigated what improvements were made in 1.0.2. I already explained what issues were introduced in 1.0.1, and why you should also have a copy of 1.0.0 installed.