USBhostのビルドについて(LPC1768)

現在、LPC1768を使用しUSBメモリに記録を行いたいと考えております。
そこで以下のURLのサンプルプログラムをインポートしてビルドを行いました。
USBHostMSD - Handbook | Mbed
しかし、写真の様なエラーが発生しビルドが成功しません。

Identifier “USB_IRQn” is undefined “NVIC_DisableIRQ(USB_IRQn);”

この問題を解決するためにはどうしたら良いでしょうか。

以上、よろしくお願いします。

現象を確認しました。理由は分からないのですが、mbedライブラリが適切な物になっていないようです。

プログラムワークスペースから、mbedアイコンをクリックして選択し、リビジョンボタンを押してください。その後に表示されるリストから、バージョンを選択して、切り替えボタンを押してみてください。

私が試してみたところで、Rev 74 (13 Dec 2013) でコンパイル可能でした。