override fileheader.dump