use the actual generated file. This is actually the CONFIG_FILE although not immediately obvious from the code