Petoi Bittle testInfraredRemote.ino returning errors when verifying.

Greetings,

i am new to this and have recently acquired a Petoi Bittle. I followed the tutorial at https://bittle.petoi.com/1-tools-and-preparation but I keep getting an error when verifying the testinfraredRemote.ino file.

I have downloaded the source code from https://github.com/PetoiCamp/OpenCat and downloaded the necessary libraries, even following the advised in the manual to work with the IRRemote library 2.6.1 version. The robot works fine when calibrated and sending the commands via the serial port but i'd like to use the IRRemote. I am using linux Mint 20.3 OS .

The errors that are displayed when verifying the file are the following:

I would greatly appreciate any kind of help possible. Thanks!