export PICO_SDK_PATH=/usr/share/pico-sdk