Fixed compilation errors.
Fixed compilation errors.

Strangely enough, g++-4.8.1 groked the previous code this without complaining.

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs