fixed type in fprintf (for compile-debian-testing-amd64-abi32)
fixed type in fprintf (for compile-debian-testing-amd64-abi32)

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