Fix phpcov again