In file ir_remote_rgb_led.cpp, try putting #include "Arduino.h" before your #include of the IR library.