Install valgrind on travis
Work around PHP bug causing crash