Renaming

redoing AGAIN the names of the files back to the right way after the
decoder mishap