@vhuber : fix ginac breakage, feel free to improve this