mbedライブラリを敢えていじるには、 mbed-srcを「Import this library」して自分のプロジェクトにインポートする。 元からある mbedフォルダは、mbed-srcとダブるので削除する そしてコンパイルし直す。mbed-srcのコンパイルにちょっとだけ時間がかかる。