dunecontrol will read the dune.module file first, before calling any configuration files; thus it cannot be initialized from the script but the version numbers must be hardcoded here and updated manually.