diff --git a/mbed-js/source/jerry_port_mbed.c b/mbed-js/source/jerry_port_mbed.c
index 3e225b0..a47cee7 100644
--- a/mbed-js/source/jerry_port_mbed.c
+++ b/mbed-js/source/jerry_port_mbed.c
@@ -16,7 +16,7 @@
 #define _BSD_SOURCE
 #include <stdarg.h>
 #include <stdlib.h>
-#include <sys/time.h>
+#include <time.h>
 
 #include "jerry-core/include/jerryscript-port.h"