HippoTextUI doesn't actually need $_SERVER['argv'] let hippo send that through