cmd/internal/objfile: get size of final symbols right