For programming in linux you can also use picloader to flash the controller. It's available from sourceforge:
http://sourceforge.net/projects/ifi-picloader. There's no gui with this, but you can use a text mode view with it if you use picloader_textmode.