Firstly Sketchbook location variable from preferences must point to forder with libraries directory. Then Arduino IDE must be restarted. After reopening of COLORES sketch (colores.ino) we can compile and upload new firmware in three steps:

The proccess is identical to bootloading of the LABduino hardware.