For the time being these two patches go on top of the previously submitted
"symbols: check table sizes don't change between linking passes 2 and 3".
Presumably what is done here addresses on of the RFC remarks there, so the
order may need switching around anyway.

1: re-number intermediate files
2: don't use symbols-dummy

Jan