[GiNaC-devel] rotate_left() in ex.h => compilation failure