When running with -debug-only=klee_linker do not report the number
of modules left because this information is no longer correct
(we no longer shrink the vector).