teensy 3.1 : usb_debug_only code compatibility

I have the development tools downloaded from https://launchpad.net/gcc-arm-embedded
for my new teensy 3.1 unit (which is in the mail). I don't like the Arduino IDE at all, so
I am trying to do this using the arm-none-eabi-c++/gcc compiler toolchain (which is
working nicely). I am also using Mac OSX, BTW.

I was hoping to see if I could get this usb_debug_only package to compile while
I wait for my unit to arrive. I've worked through the Makefile issues, but am running into issues
with the header files (and consequently macro definitions etc.).

usb_debug_only/usb_debug_only.c:78:5: error: 'EP_TYPE_INTERRUPT_IN' was not declared in this scope
1, EP_TYPE_INTERRUPT_IN, EP_SIZE(DEBUG_TX_SIZE) | DEBUG_TX_BUFFER,
^
usb_debug_only/usb_debug_only.c:78:49: error: 'EP_SIZE' was not declared in this scope
1, EP_TYPE_INTERRUPT_IN, EP_SIZE(DEBUG_TX_SIZE) | DEBUG_TX_BUFFER,
^
etc.

I see support in the Arduino (avr) header file named hardware/teensy/cores/teensy/usb_common.h,
but this obviously doesn't support the arm (teensy3.x) hardware.

Are there any plans to provide teensy 3.1 support for these USB avr-based libraries?
Or where should I look for the appropriate header files and sources specific
to the teensy 3.x platform?

Thanks, Warren.

consider too: visualmicro.com with freeware Atmel Visual Studio, for Teensy 3 target.
The debugger is low cost, has demo trial.
It's a breakpoint debugger with glitz, but via USB, it isn't a JTAG-like debugger.