changing references of PHP_Repl to PHPRepl