Fix PHP test-suite running examples recently broken in 0fa791d