Replace phptest with correct version in phptest-corrected