Well, I do know that a STK500 is one of the hardware programmers that can be used with the Atmel AVR chips, and avrdude is the software usually used to communicate with either the hardware programmer or the Arduino board USB port. I have no idea why your environment would be trying to use the STK500 instead of the USB port.