Any ideas on how to actually compile this for a pico? Where do I get libmigic.h. I see no mentions to this anywhere online. Do I have to buy the MiGic application in order to obtain access to it. I have the circuit on a breadboard ready to test and cannot figure out how to compile it. I got a segmentation fault running "code" visual studio on a rasp pi zero, so I switched to a rasp pi 3. I went through setting up the build chain but see have issues. Visual studio with mingw32 and other configurations want to know where libmigic is. Also do you always program the pico over the swd headers with c programs or can you drop the binary on the file system like micropython?