my $CRLF = "\015\012";   # "\r\n" is not portable