add sagenb option