Richard is the name, playing with hardware is my game

got an nrf51-dk board, and tried the tutorial on how to turn this board into a discoverable beacon through mbed,
followed all the steps mentioned in the tut, but when trying to compile, I am getting an error that BLEDevice.h could
not be found, is there some additional action needed? Please help me, this is very interesting stuff.
Richard