Temporary fix to avoid incorrect _input.cc with stdin