diff --git a/executablecode/Makefile b/executablecode/Makefile
index a56336953daeaab017eb0a03d38167eab248328e..5b76fc290f0732b5b3765907fc24bb1859e63ca1 100755
--- a/executablecode/Makefile
+++ b/executablecode/Makefile
@@ -8,6 +8,9 @@ OPT    = -O1 -pthread
 #LOPT   = -O1 -pthread -ldl -lnsl -lsocket
 #Linux
 LOPT   = -O1 -pthread -ldl -lrt
+LOPT_MAC = -O1 -pthread -ldl
+
+LOPT = $(LOPT_MAC)
 
 DEBUG  = -g
 OTHER  = -Wall
diff --git a/executablecode/Makefile.src b/executablecode/Makefile.src
index fa78915f9679b5cabeae6bffa822fe34d4b875bb..bf52322a40962892ad22b1cd85e0aed9852f05b7 100755
--- a/executablecode/Makefile.src
+++ b/executablecode/Makefile.src
@@ -1 +1 @@
-SRCS = generated_src/main.c generated_src/Wallet.c generated_src/CoffeeMachine.c generated_src/TeaButton.c generated_src/CoffeeButton.c 
\ No newline at end of file
+SRCS = generated_src/main.c generated_src/Wallet.c generated_src/CoffeeMachine.c generated_src/CoffeeButton.c generated_src/TeaButton.c 
\ No newline at end of file
diff --git a/executablecode/src/mytimelib.h b/executablecode/src/mytimelib.h
index 8aba27a86dac17b798c65fefb61584a3d1947f4c..2a34560156c0f893556df065b35cf3118e5db6a6 100644
--- a/executablecode/src/mytimelib.h
+++ b/executablecode/src/mytimelib.h
@@ -2,6 +2,20 @@
 #define MYTIMELIB_H
 
 #include <time.h>
+#include <sys/time.h>
+
+#ifndef CLOCK_REALTIME
+#define CLOCK_REALTIME 0
+
+void clock_gettime(int x, struct timespec *ts) {
+  struct timeval tv;
+  gettimeofday(&tv, NULL);
+  ts->tv_sec = tv.tv_sec;
+  ts->tv_nsec = tv.tv_usec * 1000;
+}
+
+#endif
+
 
 // in usec
 void addTime(struct timespec *src1, struct timespec *src2, struct timespec *dest);
diff --git a/executablecode/src/random.c b/executablecode/src/random.c
index 287b219dbd6ef411577316037a1bc4d54106ce04..1d4bba587ba86b69d3642d2c4c6bfb5d5b2727d1 100644
--- a/executablecode/src/random.c
+++ b/executablecode/src/random.c
@@ -8,6 +8,8 @@
 #include "debug.h"
 #include <math.h>
 
+#include "mytimelib.h"
+
 int computeRandom(int min, int max) {
   if (min == max) {
     return min;