primecoind 0.1.0's miner is so much slower that there's not much point in keeping it