Don't use getFileOrStdin() at where we don't want to read from stdin.