Note that the modifications include the fixes for issue #10 and issue #11
and should solve Debian bug 861091 and 861094.