added #include "miner.h"