Tal como te dije.
Claro, la librería nose porque viene y presenta un error con TKD2 algo que no viste porque no tienes habilitada la salida detallada.
Cuando vas ahi ves que se refiere a esa carpeta. RobotIRremote algo que viene de DFRobot si mal recuerdo.
Pues hay que eliminarla como bien hiciste y por supueto suministrarle una librería IRremote convencional.
Y asunto resuelto.