howto specify configure options