Keep original extension names
When reading a file with extension names that differs from DATA/STAT, and save it, we loose the original extension names.
When reading a file with extension names that differs from DATA/STAT, and save it, we loose the original extension names.