[util] Don't die on undefined symbols in sortobjdump.pl