make cgminer and mining_proxy optional