forgot to set DEFAULT_MAIN_CONFIGURATION_FILE in makefile