some fixes related to api changes in the latest mir version