I do not manage to mine devcoins with coin-miner (Ufasoft), Is it normal ?