config.dmc
makefile.dmc