Change search_symbol.py to use readelf instead of nm.