mbed开发PWM波输出程序LED没有闪烁

本来就觉得MBED不可靠，结果抱着试试看的态度，就搞到了许多MBED的程序，结果出现了各种各样的问题。
好比#include "mbed.h"
PwmOut mypwm(PWM_OUT);DigitalOut myled(LED1);int main() {        mypwm.period_ms(10);    mypwm.pulsewidth_ms(1);      printf("pwm set to %.2f %%n", mypwm.read() * 100);        while(1) {        myled = !myled;        wait(1);    }}这个程序，是官方团队给出的PWM波输出的程序，后面明显看到有LED2的闪烁，但是，我的板子下载了N次，改过了许多次程序结构，都没有什么变化----相应LED没有闪烁过一下！
what a bad thing!

也放不大图片，内容字数有限制
Error: Cannot open source input file "device.h": No such file or directory in "extras/mbed_ed8466a608b4/platform.h", Line: 21, Col: 20

这是问题，但是这是意法半导体提供的( ⊙ o ⊙ )啊！
#include "mbed.h"

//------------------------------------
// Hyperterminal configuration
// 9600 bauds, 8-bit data, no parity
//------------------------------------

Serial pc(SERIAL_TX, SERIAL_RX);

DigitalOut myled(LED1);

int main() {
  int i = 1;
  pc.printf("Hello World !n");
  while(1) {
      wait(1);
      pc.printf("This program runs since %d seconds.n", i++);
      myled = !myled;
  }
}
谁知道呢
可以告我什么原因吗？
要不就再也不接触MBED了！