Hey Jason, picloader is probably your best option. I also have a usb to serial converter, just go into the directory with the FRC_Defalut.hex in it and run:
Code:
picloader FRC_Default.hex /dev/ttyUSB0
(/dev/ttyUSB0 is your usb convertor)
If you have any questions or problems just click the chat with an atombot button on
adambots.com
or register at our forum and I'll help you out.
By the way pictools is the newest version of picloader. You can get it
here.