options now work with const char**