upgrade mithril.js