Adding AES to ESP32 board

Hi guys,

I am trying to add AES support for ESP32 board, but:
compilation fails with a lot of erros like that:
espruino_embedded.c:14303:27: error: conflicting types for '__uintmax_t'; have 'long unsigned int'
14303 | typedef unsigned long int __uintmax_t;

  |                           ^~~~~~~~~~~

/opt/Espressif/riscv32-esp-elf/riscv32-esp-elf/sys-include/machine/_default_types.h:222:26: note: previous declaration of 'uintmax_t' with type 'uintmax_t' {aka 'long long unsigned int'}
222 | typedef UINTMAX_TYPE __uintmax_t;

Can I suppress redefining of typedefs?

Thank you very much in advance!