Make options.parse_config_file supporting custom encoding