Correct. I burn it with a usbtinyisp and a press-on adapter (made out of a spare
bbb board that paulb sent me), but the parallel ISP programmer works well under linux too (and is dirt cheap). You are on your own with the 64 bit stuff, and different OS's create different sized hex files with avr_gcc, go figure. I currently get the smallest hex files with whatever gcc came with arduino-0011 under windows XP.