correction of double dotted temporary filename extensions