On Wed, Jun 12, 2002 at 08:26:05PM +0200, Theodore Papadopoulo wrote: > Why can't we provide this feature optionnally with a --enable-xxx parameter a > configure time (by default off). This would allow: I guess I don't have an objection to this. Feel free to submit a patch. r~