Do you speak german?
I use the Arduino IDE with the teensyduino. The speed from teensy is 180mhz. no extra compile options.
somewhere i read that some trouble can be with the sequence of the included files.
try:
#include "Ethernet.h"
#include "Audio.h"
#include "SD.h"
#include "SPI.h"
#include...