Simplify configuration of dump files.
Comments.
Rename pnmc_configuration to configuration.