use different cscope options in ReloadCscopeDB()