Rename the_fall_of_RC4_after_a_long_history to the_fall_of_RC4_after_a_long_history.tex