revert change - this was due to an bug in php HEAD a few days ago

pear/Console/Getopt.php

@@ -82,7 +82,6 @@ class Console_Getopt {
         }
         if (isset($args[0]{0}) && $args[0]{0} != '-') {
             array_shift($args);
-            $args = array_values($args);
         }
         reset($args);
         while (list($i, $arg) = each($args)) {