diff --git a/include/vltstd/svdpi.h b/include/vltstd/svdpi.h
index 3e601933e..4aca317eb 100644
--- a/include/vltstd/svdpi.h
+++ b/include/vltstd/svdpi.h
@@ -29,7 +29,7 @@ typedef signed __int8 int8_t;
 #include <stdint.h>
 #elif defined(__APPLE__)
 #include <stdint.h>
-#elif defined(__linux)
+#elif defined(__linux) || (defined(__APPLE__) && defined(__MACH__))
 #include <inttypes.h>
 #else
 #include <sys/types.h>
diff --git a/include/vltstd/vpi_user.h b/include/vltstd/vpi_user.h
index 4d5fc1575..b864d9590 100644
--- a/include/vltstd/vpi_user.h
+++ b/include/vltstd/vpi_user.h
@@ -37,7 +37,7 @@ typedef signed __int32 int32_t;
 typedef signed __int8 int8_t;
 #elif defined(__MINGW32__)
 #include <stdint.h>
-#elif defined(__linux)
+#elif defined(__linux) || (defined(__APPLE__) && defined(__MACH__))
 #include <inttypes.h>
 #else
 #include <sys/types.h>