sagemath 9.5 -> 9.6