debian/: Fix some issues

    * Thanks to Anton Gladky <gladk@debian.org>
      for this patch.