The CI places builds of bebopc into this directory for bundling the various bebop-tools packages.