make check was failing with PLEASE_BENCH=1