Le 02/06/2014 16:09, Erik Joelsson a écrit : > The patch above works for me at least. Hi Eric, Thank you very much for the patch, I confirm it works on Debian. I was starting to lose my sanity with this dollar expansion stuff. Emmanuel Bourg