* Non-maintainer upload (allowed by the maintainer, see #338318)
* No source change. Add a call to dpkg-distaddfile so that the
  zip file in debian/tools/ will be updated (Closes: #338318)
  Based on the patch prepared by Samuel Thibault
* Update Standards-Version to 3.7.2 (no change needed)
* urgency=high as we need a new version of loadlin.zip in the
  tools/ directory of debian servers before the release.