Fix mithril-common
publication on crates.io
#1372
Merged
mithril-common
publication on crates.io
#1372