update mithril version