do not write IDF_ALLOC vars in the cfg for now (until a good solution is found)