Searching in third_party/stm32duino/tools