RE: configure options