--- a/sources/common/include/platform/linux/max.h
+++ b/sources/common/include/platform/linux/max.h
@@ -21,87 +21,7 @@
 #ifndef _MAX_H
 #define _MAX_H
 
-#ifdef UINT64_MAX
-#undef UINT64_MAX
-#endif
-
-#ifdef INT64_MAX
-#undef INT64_MAX
-#endif
-
-#ifdef UINT32_MAX
-#undef UINT32_MAX
-#endif
-
-#ifdef INT32_MAX
-#undef INT32_MAX
-#endif
-
-#ifdef UINT16_MAX
-#undef UINT16_MAX
-#endif
-
-#ifdef INT16_MAX
-#undef INT16_MAX
-#endif
-
-#ifdef UINT8_MAX
-#undef UINT8_MAX
-#endif
-
-#ifdef INT8_MAX
-#undef INT8_MAX
-#endif
-
-
-
-#ifndef UINT64_MAX
-#define UINT64_MAX ((uint64_t)(0xffffffffffffffffULL))
-#endif
-
-#ifndef INT64_MAX
-#define INT64_MAX  ((int64_t)(0x7fffffffffffffffLL))
-#endif
-
-#ifndef INT64_MIN
-#define INT64_MIN  ((int64_t)(0x8000000000000000LL))
-#endif
-
-#ifndef UINT32_MAX
-#define UINT32_MAX ((uint32_t)(0xffffffffUL))
-#endif
-
-#ifndef INT32_MAX
-#define INT32_MAX  ((int32_t)(0x7fffffffL))
-#endif
-
-#ifndef INT32_MIN
-#define INT32_MIN  ((int32_t)(0x80000000L))
-#endif
-
-#ifndef UINT16_MAX
-#define UINT16_MAX ((uint16_t)(0xffff))
-#endif
-
-#ifndef INT16_MAX
-#define INT16_MAX  ((int16_t)(0x7fff))
-#endif
-
-#ifndef INT16_MIN
-#define INT16_MIN  ((int16_t)(0x8000))
-#endif
-
-#ifndef UINT8_MAX
-#define UINT8_MAX  ((uint8_t)(0xff))
-#endif
-
-#ifndef INT8_MAX
-#define INT8_MAX   ((int8_t)(0x7f))
-#endif
-
-#ifndef INT8_MIN
-#define INT8_MIN   ((int8_t)(0x80))
-#endif
+#include <stdint.h>
 
 #endif /* _MAX_H */
 #endif /* LINUX */