LED Setup without named parameter "color" fails

[wegendt-bosch]

This:

package main;
import platforms.xdk110;

setup x: LED {
    var i = light_up(Red);
}

every 100 milliseconds {
    x.i.write(true);
}

generates:

Retcode_T ConnectivityLEDX_I_Write(bool* value)
{
    if(*value == TRUE) {
        BSP_LED_Switch((uint32_t) , (uint32_t) BSP_LED_COMMAND_ON);
    } else {
        BSP_LED_Switch((uint32_t) , (uint32_t) BSP_LED_COMMAND_OFF);
    }
    _ledStatusRed = *value;

    return NO_EXCEPTION;
}