Investigating some more into these errors, it seems that the "#include <Arduino.h>" is "nested too deeply" (as the compiler says it). This would cause the rest of the errors from the bottom of the error list, like " 'servo_t' does not name a type", or " '_Nbr_16timers' was not declared in this scope", etc... Any ideas how to fix this?