Workaround for gcc bug

Workaround for gcc(?) issue as described here: http://arduino.cc/forum/index.php/topic,68624.msg523739.html#msg523739