Done.

Maybe it's better to keep the code simple rather than require in configure().