Cannot open /dev/tty for read at /Users/mike/readline.pl