Revert "Simplest fix to bug2402: do not include SVN versions"

This reverts commit a1073ee9.

Apparently, we totally misunderstood how the debian packages were using
microrevisions.  Better fix that!