Ed's FreeBSD Valgrind work (VEX submodule)