stdin bufferization unactivated