[PATCH] splice: fix bugs in pipe_to_file()