EEPROMEx is a really neat library, allowing the quick and easy writing of just about any type of variable or array to EEPROM.

Trouble is, it will compile just fine on an AVR but fails on the Teensy 3 error code follows:
In file included from EEPROMEx.ino:9:0:
/Applications/ fatal error: EEPROM.h: No such file or directory
compilation terminated.
The weird thing is that EEPROM.h is present in my list of libraries (Teensy 1.17 + Arduino 1.05). Any idea what might be going on?