Changed severity of fflushOnInputStream to portability: The behaviour of fflush(stdin) is defined on Linux.