reading from stdin works