Comment 5 for bug 303915

I actually had it fixed already and didn't want to fetch that Debian package. And I hope this will help people looking for a simple solution for the problems I had.
The second point is that it's only a minor edit you could use for a new package. I left the rest of the script completely unchanged.

Thanks,
Martin