
16-11-2010: Bug fixed for the initialization of config_file. 
