Fix valgrind-check32 for ubuntu 10.04