We don't seem to be able to build much on a Pico right now, because attempting to compile *anything* with GCC on the current Ubuntu image results in a linker error: /usr/bin/ld: cannot find -lgcc: No such file or directory ...that apparently could be solved by installing gcc-multilib, which unfortun...