CI puts tools into the `.gitlab/` directory. Do not glob these up. This
also avoids globbing up all kinds of external headers and sources when
the build tree is underneath the top-level source tree.

Ideally this would just be more explicit, but that can be done another
day.