to deal with glibc's ultra-optimised versions. --> CVS repo ? git-svn-id: svn://svn.valgrind.org/vex/trunk@539