Major hack of mkdef.pl. There should be no more need to redo the