Add filename in abiheader
Improve --none-- printing