From 46cfd33a1b07fe296676f732e7b88307a4a0517d Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sun, 28 Jan 2018 15:18:55 +0000
Subject: [PATCH] fix(build): attempt to fix linux buildbots

---
 src/library/vm/vm_io.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/library/vm/vm_io.cpp b/src/library/vm/vm_io.cpp
index f9af6f860c..7c2e1ab40d 100644
--- a/src/library/vm/vm_io.cpp
+++ b/src/library/vm/vm_io.cpp
@@ -15,6 +15,9 @@ Author: Leonardo de Moura
 #else
 #include <unistd.h>
 #endif
+#ifdef __linux__
+#include <linux/limits.h>
+#endif
 #include <util/unit.h>
 #include "util/sstream.h"
 #include "library/handle.h"