20140201, before switching to valgrind-3.9.0