forwarded 504891 https://savannah.nongnu.org/bugs/index.php?24777 thanks Hi all, to save time and to minimize divergence, I propose to try to get the patch accepted upstream before applying it by ourselves. Have a nice day, -- Charles