Hi TK
The prebuild binary of MIOS studio for Linux didn't work for me using Debian 7.3. It needed glibc 2.15 but Debian currently only supports 2.13, at least according to http://stackoverflow.com/questions/10863613/how-to-upgrade-glibc-from-version-2-13-to-2-15-on-debian.
However, it was very easy to build myself using the files supplied by you in mios32/trunk/tools, so no complaints here! Just wanted to let you know,
Sincerely, jimi