Como dice vinylo el '.exe' es la extensión del archivo, no forma parte del nombre, pr lo que no tiene que salir.
Pero sí hay que pegarlo en 'plataforms tools', aunque después se pegue también en la carpeta android, si te pide sustituirlo lo sustituyes, que de eso se trata, de cambiar el de r16 por el del r13.
