Update PhpunitShell.php