use TOKU_ macros to handle !USE_VALGRIND