Apply fix for #823 to PhptTestCase runner