Use already compiled library, as the compilation of tests takes a looong
time. We have to give up on using specific g++ version to do that,
though.