switch create_read_pipe() to alloc_file()