rename readFile to readStdin