Fixlet in readelf formatting string