Bootloader with arduino uno Rev3 as isp?

You can't just change programmers.txt, you have to find the Serial.begin(19200) in the ArduinoISP sketch and change it from 19200 to 9600 as well (and reload it into the arduino you are using as an ISP). They have to agree on the baud rate.