default_pre_build &&
cd "$SOURCE_DIRECTORY" &&
patch -p0 <<'EOT'
--- include/aal/types.h.orig	2020-09-20 09:08:30.744265363 +0200
+++ include/aal/types.h	2020-09-20 09:18:18.229252254 +0200
@@ -26,24 +26,8 @@
 #undef ESTRUCT
 #define ESTRUCT                 50
 
-#ifndef __int8_t_defined
-#define __int8_t_defined
-typedef signed char             int8_t;
-typedef short int               int16_t;
-typedef int                     int32_t;
-__extension__
-typedef long long int           int64_t;
-#endif
+#include <stdint.h>
  
-typedef unsigned char           uint8_t;
-typedef unsigned short int      uint16_t;
-#ifndef __uint32_t_defined
-#define __uint32_t_defined
-typedef unsigned int            uint32_t;
-__extension__
-typedef unsigned long long int  uint64_t;
-#endif
-
 #define MAX_UINT8  ((uint8_t)~0)
 #define MAX_UINT16 ((uint16_t)~0)
 #define MAX_UINT32 ((uint32_t)~0)
EOT