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 
-v 
-patmega328p 
[color=red]-cstk500v1 [/color]
-PCOM17 
-b19200 
-e 
-Ulock:w:0x3F:m 
-Uefuse:w:0x05:m 
-Uhfuse:w:0xDE:m 
-Ulfuse:w:0xFF:m

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:

-carduino

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:

arduinoasisp.name=Arduino as ISP
arduinoasisp.communication=serial
arduinoasisp.protocol=stk500v1
arduinoasisp.speed=19200
arduinoasisp.program.protocol=stk500v1
arduinoasisp.program.speed=19200
arduinoasisp.program.tool=avrdude
arduinoasisp.program.extra_params=-P{serial.port} -b{program.speed}