sympy and pyinstaller