Serial Port grayed out

Dear all, I had the same problem with the Ubuntu repository IDE and tried to fix the issue by changing the baud to 9600 in Preferences.txt. It seems however that each time I restart the IDE or upload a sketch Preferences.txt is changed by arduino again to a value of 38440. I tried to change the owner to root in order to avoid arduino from changing it, but it cannot start if it has no access to Preferences.txt.

The 1.0.2 IDE from the site works fine and does not modify that value in Preferences.

Cheers