miner.h missing extern