python: Use pipe_buffer_read/write.