read and use function value_from_file() when using headless ini files.