From ce736c84e0a9bed3e23f21a4a57b5d26c4a87cb8 Mon Sep 17 00:00:00 2001
From: Jacob Dufault <jdufault@google.com>
Date: Wed, 29 Mar 2017 10:23:45 -0700
Subject: [PATCH] misc-linux-fixes

---
 src/platform_linux.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/platform_linux.cc b/src/platform_linux.cc
index c3e7ad58..620339db 100644
--- a/src/platform_linux.cc
+++ b/src/platform_linux.cc
@@ -11,6 +11,7 @@
 #include <unistd.h>
 #include <stdio.h>
 #include <limits.h>
+#include <string.h>
 #include <stdlib.h>
 #include <semaphore.h>
 #include <time.h>