KEYESTUDIO ESP32 IoT Smart Farm doesn't compile ESP32_Servo.h

The suggestion in the topic linked to was to revert to an earlier version of the ESP32 board files rather than an earlier version of the library files and it contains an explanation of how to do it