Fix extra element bug with `$_SERVER['argc']` and `$_SERVER['argv']`.
When a file is executed without the `--file` argument, `$_SERVER['argv']`
contains an extraneous empty string at the beginning of the array.