Updated binutils.py hex formatter to work