Fixing use of $_SERVER['argv'][0]. (closes #36)