Fix for xdc_target_types__