Fixed a compatibility problem of Ginac with Python 3