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 ...