Use objdump -t for symcheck; it allows us to take the symbol section