adafruit/gdb-micro-trace-buffer not found