fix configure option