strip miner: remove more log statements