Re: howto specify configure options