[FIXUP] make sagenb upgrading work