use the actual generated file. This is actually the CONFIG_FILE although not immediately obvious from the code
Merge pull request #2 from vasvir/master

use the actual generated file