diff --git a/libomptarget/src/omptarget.h b/libomptarget/src/omptarget.h
index 5b4e7ff..ec2f99f 100644
--- a/libomptarget/src/omptarget.h
+++ b/libomptarget/src/omptarget.h
@@ -198,7 +198,10 @@ void __kmpc_push_target_tripcount(int32_t device_id, uint64_t loop_tripcount);
     fprintf(stderr, __VA_ARGS__);                                              \
   }
 
+#ifndef __STDC_FORMAT_MACROS
 #define __STDC_FORMAT_MACROS
+#endif
+
 #include <inttypes.h>
 #define DPxMOD "0x%0*" PRIxPTR
 #define DPxPTR(ptr) ((int)(2*sizeof(uintptr_t))), ((uintptr_t) (ptr))