* Pino Toscano:
I do not think this is the correct approach. See my analysis here:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=946594#46
This issue is for a different problem that appeared on some
architectures after I forced *config.ml to be regenerated for the Debian
builds of libguestfs 1.40.2, see
<
https://buildd.debian.org/status/logs.php?pkg=libguestfs&ver=1%3A1.40...;.
I have added some observations/analysis to v2 of the patch.
Cheers,
-Hilko