[tversion] GCC: 4.4.7
[tversion] GMP: header 6.0.0, library 6.0.0
[tversion] MPFR tuning parameters from src/x86_64/core2/mparam.h
PASS tversion (exit status: 0)