WebSocketsServer.h: No such file or directory

Я пытаюсь использовать веб-сокет NodeMCU.

Я скачал необходимые библиотеки из: https://github.com/Links2004/arduinoWebSockets и вставил их в папку Arduino libraries. Я загрузил свой код, но получил эту ошибку:

WebSocketsServer.h: Такого файла или каталога нет.

Не могли бы вы сказать мне, почему моя Arduino IDE не найдет заголовочный файл WebSocketsServer.h, когда он физически присутствует в моей папке Arduino libraries? Или если есть альтернативный способ использовать веб-сокет NodeMCU?

Вот код:

#include <ESP8266WiFi.h>
#include <WiFiClient.h>
#include <ESP8266WebServer.h>
#include <WebSocketsServer.h>
#include <Hash.h>

// Замените свои сетевые учетные
const char* ssid = "<WiFi-SSID>";
const char* password = "WiFi-PASSWORD";

WebSocketsServer webSocket = WebSocketsServer(81);
ESP8266WebServer server(80);   //создать экземпляр сервера на порту 80 (http-порт)

String page = "";
int LEDPin = D5;

void setup(void){
 //HTML веб-страницы
 page = "<h1>Simple NodeMCU Web Server</h1><p><a href=\"LEDOn\"><button>ON</button></a>&nbsp;<a href=\"LEDOff\"><button>OFF</button></a></p>";
 //сделайте вывод светодиодного контакта и изначально выключите
 pinMode(LEDPin, OUTPUT);
 digitalWrite(LEDPin, LOW);

 delay(1000);

 Serial.begin(115200);
 WiFi.begin(ssid, password); //начать подключение Wi-Fi
 Serial.println("");

 // Подождите подключения
 while (WiFi.status() != WL_CONNECTED) {
    delay(500);
    Serial.print(".");
 }

 Serial.println("");
 Serial.print("Connected to ");
 Serial.println(ssid);
 Serial.print("IP address: ");
 Serial.println(WiFi.localIP());

 server.on("/", [](){
    server.send(200, "text/html", page);
 });

 server.on("/LEDOn", [](){
    server.send(200, "text/html", page);
    digitalWrite(LEDPin, HIGH);
    delay(1000);
 });

 server.on("/LEDOff", [](){
    server.send(200, "text/html", page);
    digitalWrite(LEDPin, LOW);
    delay(1000);
 });

 server.begin();
 webSocket.begin();
 webSocket.onEvent(webSocketEvent);

 Serial.println("Web server started!");
}

void loop(void){
  webSocket.loop();
  server.handleClient();
  if (Serial.available() > 0){
    char c[] = {(char)Serial.read()};
    webSocket.broadcastTXT(c, sizeof(c));
  }
}

void webSocketEvent(uint8_t num, WStype_t type, uint8_t * payload, size_t length){
  if (type == WStype_TEXT){
   for(int i = 0; i < length; i++) Serial.print((char) payload[i]);
   Serial.println();
  }
}
~~~