Sympy's repo forked