sections.py: Make systemC test benches buildable again

The refactoring done to build archives from verilator sections
broke systemC test benches. This should fix it again