Arduino 1.6.3 bug: It's not possible to change the programmer.

While trying to upload the bootloader to a board of mine, I realized that the IDE is not changing the programmer. What I want is this:

Tools -> Programmer -> Arduino as ISP

But when I issue the uploading command this is what I get (I've formatted the output):

C:\Archivos de programa\Arduino\hardware\tools\avr/bin/avrdude 
-CC:\Archivos de programa\Arduino\hardware\tools\avr/etc/avrdude.conf 
[color=red]-cstk500v1 [/color]

stk500v1 is shown on the fifth line, no matter how hard I try to make Arduino to use the "arduino as isp".

Then I opened a console and I issued the same command, but with the -c option changed to "arduino", just like this:


and it works (at least makes communication with my Leonardo's. I still can't program an ATMEGA328P, but that's story is for another forum).

That is the protocol for Arduino as ISP.

From programmers.txt: as ISP
arduinoasisp.program.extra_params=-P{serial.port} -b{program.speed}