[bugfix] include dgfs.hh in any case.