The extra optimization option with configure