fix leak in file_get()