Diff ginac-1.8.7 with a ginac-1.8.9

Thank you!