I just installed arduino 1.6.7 in order to support teensy 3.2.
However, when I tried to verify a teensy sketch (anything will do, even the empty arduino template), there was an error message indicating it was trying to find the arm-gcc used for teensy in the tsunami board support package (and the compilation failed).

After using board manager to remove tsunami board support, the teensy build would work. I'm guessing the tsunami package sets some environment variable incorrectly.

Sounds very much like the issue I'm having; does it include text such as "java.io.IOException: Cannot run program "___REMOVE___/bin/avrdude": error=2, No such file or directory"?

What OS are you running?