I want to deactivate the USB core of Arduino. Therefore USBCON needs to be undefined. Passing options with -D works, -U not. 2nd issue related to this: the USB-Core should not rely on such a USBCON definition, there should be a wrapper cc @facchinm