[mine_detector] Rebuilt with PragmARC-20130728.