1314: do not use intermediate array before writing to makefile.config.*