mongo command line options in config file