default configure option