valgrind issue on x86-64