Comment to 'Setup 13.0.0-RC2 php problem'