Re: [PATCH] make the name of the library directory a config option

The patch is obvious and trivial so I'll swallow, but as a
general rule I'd like to avoid changes to the build procedure
this late in the game.

Thanks for the patch, will apply.