BOTAN_MODULES="$(cat ci/botan-modules)"