Fix mithril version

Should also fix build status