fix configure options