Minor fixes of Reddcoin miner