EEPROM.h: No such file or directory

Tried compiling this code from the docs

#include <EEPROM.h>
void setup() {
// put your setup code here, to run once:

}

void loop() {
// put your main code here, to run repeatedly:
byte a = 1;
EEPROM.write(0, a);
byte b = EEPROM.read(0);
if (a == b)
{
// do something.
delay(2000);
}
}

Would not compile

Build options changed, rebuilding all

C:\arduino\arduino-1.5.8beta/hardware/tools/gcc-arm-none-eabi-4.8.3-2014q1/bin/arm-none-eabi-g++ -c -g -O2
-fvisibility=hidden -fpic -mthumb -mlittle-endian -nostdlib -fno-non-call-exceptions -fno-rtti -fno-exceptions
-Dprintf=iprintf -mcpu=arm7tdmi-s -DF_CPU=84000000L -DARDUINO=158 -DARDUINO_MTK_ONE -DARDUINO_ARCH_MTK
-D__COMPILER_GCC__ -D__LINKIT_ONE__ -D__LINKIT_ONE_RELEASE__ -mthumb -DUSB_VID=0x0E8D -DUSB_PID=0x0023
-DUSBCON -DUSB_MANUFACTURER=“Unknown” -DUSB_PRODUCT=“LinkIt ONE”
-IC:\arduino\arduino-1.5.8beta\hardware\arduino\mtk\system/libmtk
-IC:\arduino\arduino-1.5.8beta\hardware\arduino\mtk\system/libmtk/include
-IC:\arduino\arduino-1.5.8beta\hardware\arduino\mtk\cores\arduino
-IC:\arduino\arduino-1.5.8beta\hardware\arduino\mtk\variants\linkit_one
C:\Users\AppData\Local\Temp\build2987738432614817402.tmp\sketch_feb01b.cpp
-o C:\Users\AppData\Local\Temp\build2987738432614817402.tmp\sketch_feb01b.cpp.o
sketch_feb01b.ino:1:20: fatal error: EEPROM.h: No such file or directory
compilation terminated.
Error compiling.

#include <LEEPROM.h>
works but this is non-standard for Arduino compatibility and breaks standard sketches.