Fix compilation of miner.cpp