3.16: upgrade mir version to 0.8.0