temporary file rename is necessary for correct names of result files