Hi Ellie, thank you! Are there any Ubuntu packages available as I don't think the Debian/Ubuntu maintainers will patch their packages. Ciao Marcus