Now, we don't specify the configuration filename through the Makefile, but in the command-line of dev_mngr.