CDC_ENABLED no longer available in USBDesc.h (IDE 1.6.7)

Hello,

I am try to disable the CDC device on an Arduino Micro board while keeping the HID mouse/keyboard enabled. There are few source that indicate the easiest way to do that is by commenting out the CDC_ENABLED defined in USBDesc.h. However, I opened this fine (my IDE is 1.6.7) and found neither CDC_ENABLED nor HID_ENABLED there.

I'd like to know if there is a way to disable the CDC (but keep the HID keyboard enabled) in the core files that come as part of IDE 1.6.7.

The links I found about the issue are:

http://forum.arduino.cc/index.php?topic=107038.0

Thanks