
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">

<HTML><HEAD>

<META content="text/html; charset=iso-8859-1" http-equiv=Content-Type>

<META content="MSHTML 5.00.3211.1700" name=GENERATOR>

<STYLE></STYLE>

</HEAD>

<BODY bgColor=#ffffff>

<DIV><FONT face=Arial size=2>Hi Marc & all!</FONT></DIV>

<DIV> </DIV>

<DIV><FONT face=Arial size=2>>Then a dump transmitted to a file, and not 

asked to be</FONT></DIV>

<DIV><FONT face=Arial size=2>>compressed, will be always 

compressed.</FONT></DIV>

<DIV><FONT face=Arial size=2>>Should we work around this?</FONT></DIV>

<DIV><FONT face=Arial size=2></FONT> </DIV>

<DIV><FONT face=Arial size=2>Yep, at least I think so.</FONT></DIV>

<DIV><FONT face=Arial size=2></FONT> </DIV>

<DIV><FONT face=Arial size=2>Loīc<BR></DIV></FONT></BODY></HTML>