Updated libimc.jar (branch 5.3.0).