Upstream agrees with the issue and solution, and will look for a more generic way (instead of copying the script over), but we can probably apply the patch to Debian in the meanwhile? Samuel