Implement WriteHTTPResponseBodyToFile via stdio.