Include stdint.h since file references data types from stdint.h
Include stdint.h since file references data types from stdint.h

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