http_get_file: style fixes