quick patch because BufferedStream got moved out of std::io::buffered into std::io