Hi there I am struggling to build this crate. I am targeting the RP2040, and the build cannot find the pico.h header that would normally be found in the SDK. Is there any way to define where the SDK is installed?