Renaming erroneous file name to temp
…and renaming file to real name (had to go via "temp" since simple case changes can go unnoticed)