Bug fix: cnfgen should read arguments other than the command line.