header dumps can now be enabled with cmdline switch