#3: fix loop checking mining tools compilation error