Guys, now you have updated your tools for 5.1.1 can you please provide a stable ROM for Mi4c (Libra).
The latest stable China ROM is available: http://en.miui.com/thread-171104-1-1.html
Please make a stable 7.0.7.0 as the Dev ROM causes a lot of app incompatibility due to it being pre-rooted...