*補足:TCPMPをリセット後に最初に起動する際に、毎回Errorがでる "NETWORK plugin is not compatible with current player version. Please update!" ネットワークプラグインがプレイヤーと互換性がないのでアップデートしてください という意味ですが、現状動画の再生はできるので気にしてないです。
$ arm-mingw32ce-gcc hello.c -o hello.exe /opt/mingw32ce/libexec/gcc/arm-mingw32ce/4.4.0/cc1: error while loading shared libraries: libmpfr.so.1: cannot open shared object file: No such file or directory