Better support for piped stdin