Dear patchers,
> Subject: [PATCHES] add build utilities in default install
I withdraw this submission, which was not yet considered for inclusion
anyway.
I'll send a more complete patch, which includes this one, but also provide
a working infrastructure for extensions, sometimes later. I've something
working that needs some finalization and tests.
--
Fabien.