Hi Tamas,
As of V8.03 I am no longer using the Arduino IDE. Even for the earlier versions it would sometimes not compile properly with the newer versions of the Arduino software (I used 1.0.6 previously).
To compile a custom version of the firmware you will now need to download and install Atmel Studio 7 (it's free) in order to compile the code.
Kind Regards,
Tom.