export pico_sdk_path=/home/jon/pico/pico-sdk
