ginac-1.6.2 (rebuild on x86_64)