Temporarily patch an upstream issue in mithril