a bug in the tokenizer part of ReadConfFile (need to fix) means this file cannot have empty values