echo, cat etc. now behave like unix commands: they ignore their input