exit by Ctrl-D