Improve mk-miner submodule.