This implies that 0d881ef1d5c711e96236c97aa1e8d196fda7e9d7 is not portable and wrong, which is FALSE and effectively reverts it without discussing with the authors (me and François). This is entirely unacceptable. Please revert promptly. -- Rémi Denis-Courmont