Running Valgrind with proper PHP binary