main program now reading a source file from stdin