Changing name of .tex file in spanish version