--- a/plugins/velleman/src/velleman_mock.cpp	2020-07-05 16:57:25.002161999 -0700
+++ b/plugins/velleman/src/velleman_mock.cpp	2020-07-05 16:58:10.053165244 -0700
@@ -18,9 +18,7 @@
 */
 
 #include <stdlib.h>
-#if defined(WIN32) || defined(Q_OS_WIN)
-#       include <stdint.h> // int32_t
-#endif
+#include <stdint.h>
 
 extern "C"
 {
