mpz_out_raw is not writing data to the file stream

[Thomas Lowry]

On Fri, 2019-07-19 at 18:00 +0200, Marc Glisse wrote:
> 
> 
> Try adding -Wsystem-headers
> 
> (then swap the order of the includes, then look at the new warning)
> 

Oh I'm sorry now that I know there is a header include dependency I see
that there are multiple references to it in the manual. :|

One thing that might be helpful though would be to add a section to the
Reporting Bugs page for application based compile errors like the
header include dependencies. Currently the links in this section only
seem to be focused around compile problems when building the library
itself