PPM_IRQ_CCIF undefined. Temporarily switched to TIM_SR_CC3IF flag.

When I change in the airframe config file the radio subsystem to PPM:
    <subsystem name="radio_control" type="ppm">
       <configure name="RADIO_CONTROL_PPM_PIN" value="UART1_RX"/>
    </subsystem>
I get the following error:
arch/stm32/subsystems/radio_control/ppm_arch.c:167:17: error: 'PPM_IRQ_CCIF' undeclared (first use in this function)

So I switched the definition temporarily back (older style). 
Works, tested with Lia 1.1. and Turnigy 9xr.
However, a proper definition would be nice:)