diff --git a/cores/esp8266/FS.h b/cores/esp8266/FS.h
index 60a0e46d2d..23d05bad83 100644
--- a/cores/esp8266/FS.h
+++ b/cores/esp8266/FS.h
@@ -23,6 +23,7 @@
 
 #include <memory>
 #include <Arduino.h>
+#include <../include/time.h> // See issue #6714
 
 class SDClass;
 
diff --git a/cores/esp8266/HardwareSerial.h b/cores/esp8266/HardwareSerial.h
index 2d7f631db1..dd36e6c281 100644
--- a/cores/esp8266/HardwareSerial.h
+++ b/cores/esp8266/HardwareSerial.h
@@ -28,7 +28,7 @@
 #define HardwareSerial_h
 
 #include <inttypes.h>
-#include <time.h>
+#include <../include/time.h> // See issue #6714
 #include "Stream.h"
 #include "uart.h"
 
diff --git a/cores/esp8266/libc_replacements.cpp b/cores/esp8266/libc_replacements.cpp
index b3beb07dd0..0ccf5e04b2 100644
--- a/cores/esp8266/libc_replacements.cpp
+++ b/cores/esp8266/libc_replacements.cpp
@@ -31,7 +31,7 @@
 #include <limits.h>
 #include <errno.h>
 #include <string.h>
-#include <time.h>
+#include <../include/time.h> // See issue #6714
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <unistd.h>
diff --git a/cores/esp8266/time.cpp b/cores/esp8266/time.cpp
index 3a3e3f755b..41a9b43af1 100644
--- a/cores/esp8266/time.cpp
+++ b/cores/esp8266/time.cpp
@@ -17,7 +17,7 @@
  */
 
 #include <stdlib.h>
-#include <time.h>
+#include <../include/time.h> // See issue #6714
 #include <sys/time.h>
 #include <sys/reent.h>
 #include "sntp.h"