Defined Eventlog with version 0.2.12
Defined Gmp4 with version 4.3.2
Defined Mpc with version 0.8.1
Defined Mpfr with version 2.4.2