Hi all, For anyone who is interested, see the following packaging request for Ubuntu: https://bugs.launchpad.net/ubuntu/+bug/767302 Providing extra information or a package candidate is welcome. Regards, Pander