specify the os stdin