From 73faf6379ec93e2e3e6496807811e5086cfe0e8b Mon Sep 17 00:00:00 2001
From: Izaak Beekman <zbeekman@gmail.com>
Date: Fri, 18 Jan 2019 16:24:11 -0500
Subject: [PATCH] Try using Int64 instead of LARGE_INTEGER

---
 base/modules/fakempi.c | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/base/modules/fakempi.c b/base/modules/fakempi.c
index 0837e04f1..dd6803407 100644
--- a/base/modules/fakempi.c
+++ b/base/modules/fakempi.c
@@ -1,7 +1,4 @@
-#if (defined(_WIN32) || defined(WIN32))
-#include "stdafx.h"
-#include <Windows.h>
-#else
+#if !(defined(_WIN32) || defined(WIN32))
 #include <sys/time.h>
 #endif
 #include <stdio.h>
@@ -110,7 +107,7 @@
 double mpi_wtime()
 {
 #if defined(WIN32) || defined(_WIN32)
-  LARGE_INTEGER tim, freq;
+  Int64 tim, freq;
   double seconds;
 
   QueryPerformanceCounter(&tim);