It seems my IRremote.h file is too large. Here it is:

You can find it in /documents/arduino/libraries/irremote/irremote.h. Use any pure text editor to change it, but don't use Word or other rich text format editor.