In the users guide, talk about configure flags