Are those missing line numbers the output from Visual Micro, or from the Arduino IDE with Teensyduino installed?

I can't do anything about Visual Micro, but if that's a bug with...