Files
pico-openpgp/build_pico_openpgp.sh