private function mergeConfigFileIntoOptions($options, $configFile)
    {
        $configFile = ($configFile) ?: realpath(getcwd()).'/.dunitconfig';
        if (file_exists($configFile) && is_readable($configFile)) {
            if (false !== ($settings = parse_ini_file($configFile))) {
                return array_merge($options, $settings);
            }
        }
        throw new Exception(
            'WARNING: Config file could not be read. Falling back to built-in defaults.'
        );
    }