Serial Port grayed out

Using Arduino IDE 1.x
13

Can I ask the OP, if any of these values differ from mine on Ubuntu?

serial.databits=8
serial.debug_rate=9600
serial.parity=N
serial.port=COM1
serial.stopbits=1
sketchbook.path=/home/ubuntu/Arduino
software=ARDUINO

especially the one on Bold?