Rename 'copy_of_X25519.php'