ifdeftoif files are now saved in fileNameWithoutExtension + "_ifdeftoif.c"