--- STUBS/mpi.c.orig	2018-11-12 01:31:19 UTC
+++ STUBS/mpi.c
@@ -20,7 +20,7 @@
 #include <stdio.h>
 #include <stdint.h>
 #include <sys/time.h>
-#include <mpi.h>
+#include "mpi.h"
 
 /* data structure for double/int */
 
