ginac: fix build on darwin (close #944)