Revert previous commit.
Revert previous commit.

Commit 40cb591479538f5dd25de05c856567c2aa93a355 seems to break on 32-bit
machines. Will be fixed later, but in the meantime, let's revert it
to keep the git version in a stable state.

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