Standard libraries unknown in IDE V1.5.1r2

Right, but the spelling of the second one is noInterrupts();

http://arduino.cc/en/Reference/NoInterrupts