Determining if the backtrace exist failed with the following output:
Change Dir: /home/giuliobenetti/autobuild/run/instance-0/output-1/build/monkey-1.6.9/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/make cmTC_ed59b/fast && make[1]: Entering directory '/home/giuliobenetti/autobuild/run/instance-0/output-1/build/monkey-1.6.9/CMakeFiles/CMakeTmp'
/usr/bin/make -f CMakeFiles/cmTC_ed59b.dir/build.make CMakeFiles/cmTC_ed59b.dir/build
make[2]: Entering directory '/home/giuliobenetti/autobuild/run/instance-0/output-1/build/monkey-1.6.9/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_ed59b.dir/CheckSymbolExists.c.o
/home/giuliobenetti/autobuild/run/instance-0/output-1/per-package/monkey/host/bin/riscv64-linux-gcc --sysroot=/home/giuliobenetti/autobuild/run/instance-0/output-1/per-package/monkey/host/riscv64-buildroot-linux-musl/sysroot   -D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -Os -std=gnu99 -Wall -Wextra -D__FILENAME__='"CMakeFiles/CMakeTmp/CheckSymbolExists.c"' -fPIC   -DNDEBUG   -o CMakeFiles/cmTC_ed59b.dir/CheckSymbolExists.c.o   -c /home/giuliobenetti/autobuild/run/instance-0/output-1/build/monkey-1.6.9/CMakeFiles/CMakeTmp/CheckSymbolExists.c
/home/giuliobenetti/autobuild/run/instance-0/output-1/build/monkey-1.6.9/CMakeFiles/CMakeTmp/CheckSymbolExists.c:2:10: fatal error: execinfo.h: No such file or directory
    2 | #include <execinfo.h>
      |          ^~~~~~~~~~~~
compilation terminated.
make[2]: *** [CMakeFiles/cmTC_ed59b.dir/build.make:66: CMakeFiles/cmTC_ed59b.dir/CheckSymbolExists.c.o] Error 1
make[2]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-0/output-1/build/monkey-1.6.9/CMakeFiles/CMakeTmp'
make[1]: *** [Makefile:121: cmTC_ed59b/fast] Error 2
make[1]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-0/output-1/build/monkey-1.6.9/CMakeFiles/CMakeTmp'


File /home/giuliobenetti/autobuild/run/instance-0/output-1/build/monkey-1.6.9/CMakeFiles/CMakeTmp/CheckSymbolExists.c:
/* */
#include <execinfo.h>

int main(int argc, char** argv)
{
  (void)argv;
#ifndef backtrace
  return ((int*)(&backtrace))[argc];
#else
  (void)argc;
  return 0;
#endif
}