Use latest mithril, and remove local patch